bad operand types for binary operator '-'